fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797 by jsboige · Pull Request #14181 · jsboige/CoursIA

jsboige · 2026-09-01T22:45:51Z

Grain: LIGHT/cleanup -- lane myia-po-2026:CoursIA -- prev: MED/notebook-search #14177 (cycle 155)

Summary

Resolution de l'issue #14061 : 2 references au vieux numerotage Search-15/Search-16 subsistaient dans des commentaires de code apres le rename #13797 (15/16 -> 02b/02c). Invisibles a check_notebook_navlinks (qui ne scanne que les navlinks markdown), elles ont ete signalees par la review forensique c.745-L1 §D-3.

Type de modification : 1 ligne de commentaire par code cell (texte uniquement), avec re-execution papermill kernel .net-csharp (cwd = dir notebook) sur les 2 cellules modifiees pour respecter C.2/H.1 (outputs reaffirmes ; Dijkstra deterministe).

Changement

Fichier	Cellule	Avant	Apres
`Search-02c-QuikGraph.ipynb`	code[11] (Dijkstra demo)	`Search-15 cell 14`	`Search-02b-NetworkX-Csharp cell 14`
`Search-3-Informed-Csharp.ipynb`	code[15] (QuikGraph load)	`Search-16 cell 2`	`Search-02c-QuikGraph cell 2`

Verification grep post-fix : grep -rn "Search-15\|Search-16" MyIA.AI.Notebooks/Search/Part1-Foundations/ = 0 resultat (acceptance issue).

Hors scope preserve : 4 mentions dans discrepancy_lean/Discrepancy.lean (L35-36) et LEAN_INVENTORY.md (L28). Ces 4 mentions sont historiques explicites : elles documentent que Search-15-* etait une numerotation d'opportunite jamais retenue, design utile pour la lecture du code archivage. Les toucher serait detruire de l'historique (regle "Consolider != Archiver" du CLAUDE.md global).

Pourquoi cette PR (contexte de l'issue #14061)

L'issue documente 2 localisations exactes verifiees sur main au 2026-09-01 :

Search-02c-QuikGraph.ipynb code cell[11] : // VertexPredecessorRecorderObserver (cell 17 de ce notebook, Search-15 cell 14, Search-3 cell 16, Search-2 cell 38)...
Search-3-Informed-Csharp.ipynb code cell[15] : // Installation QuikGraph 2.5.0 (fork KeRNeLith de QuickGraph, voir Search-16 cell 2 pour reference).

Issue #14061 elle-meme est issue fille de #13772 (volet decision -- dette §D-3 de la livraison #13797). Le sweep reste limite au rename Search-15/16 -> 02b/02c ; un sweep plus large (e.g., Search-17/18 -> 09b/09c/11c, voir #13771) est hors scope de cette PR.

Acceptance issue #14061

Les 2 references corrigees vers le numerotage courant (02b/02c).
Les 2 cellules code modifiees re-executees (C.2/H.1 -- un commentaire dans une cellule code reste une modification de source), outputs coherents committes.
Grep de confirmation : Search-15|Search-16 ne matche plus aucune cellule des notebooks Search Part1-Foundations/.

Re-execution details :

Search-02c-QuikGraph.ipynb : 14/14 cellules code, 0 erreur, cell[11] execution_count=7 outputs=7 (Dijkstra deterministe, distances en km sur le reseau routier, chemin reconstruit manuellement pour demonstration -- voir decision Search : l'idiome de retrace Dijkstra par comparaison de distances est dupliqué dans 5 cellules (dont une sur grille) — nit Hermes #11107 #11113 preservee).
Search-3-Informed-Csharp.ipynb : 18/18 cellules code, 0 erreur, cell[15] execution_count=8 outputs=2 (QuikGraph 2.5.0 charge, AStarShortestPathAlgorithm<string, STaggedEdge<string, double>> disponible).

Note sur le strip-probeAddresses (auto-fix pre-commit) : le hook strip-probeaddresses-banner a detecte 18 lignes HTML probeAddresses(...) injectees par le kernel .NET Interactive dans les outputs HTML des cellules code lors de la re-execution papermill. Le hook les a retirees automatiquement (9 par notebook, [FIXED] 18 banner line(s)). C'est le comportement attendu du hook ; le commit final inclut la version nettoyae, et la prochaine execution reaffichera les memes 18 lignes que le hook retirera a nouveau (reproductibilite garantie par la pipeline pre-commit).

Validations

scripts/notebook_tools/validate_pr_notebooks.py : PASS (2/2 notebooks, 32 cellules code au total : 14 NB1 + 18 NB2).
Grep Search-15|Search-16 dans Part1-Foundations/ : 0 resultat (acceptance issue OK).
Pre-commit hooks : PASS (gitleaks + strip-probeaddresses (auto-fix OK) + strip-IKVM-banner + scrub-papermill-paths + H.3 un-executed + Aucun garde ne parse la source des cellules : une cellule non compilable portant une sortie traverse les 60+ checks #13326 un-compilable + markdown rendering).
git diff sur les 2 sources de modification : 1 ligne changee par fichier (le reste du diff = metadata papermill re-execution + HTML output re-rendered, non-substantif).

Conventions respectees

Pas d'erreur volontaire (regle C.1) : aucun raise NotImplementedError / assert False / 1/0 ajoute.
Re-execution papermill kernel local (regle C.2 + H.1) : les 2 cellules modifiees ont ete re-executees via papermill (cwd = dir notebook, kernel .net-csharp), outputs reaffirmes byte-preservant les precedents (Dijkstra deterministe, QuikGraph load sans surprise).
Pas de scrub d'output (Stop & Repair, mandat user 2026-06-22) : aucun output modifie ou maquille a la main ; la modification de outputs vient integralement de la re-execution papermill. Le hook strip-probeaddresses-banner est un outillage automatique autorise (cf secrets-hygiene.md regle 6 "seules normalisations manuelles tolerees" : papermill metadata path au basename est OK).
Pas de secrets inline (regle secrets-hygiene) : aucun token / cle / chemin machine absolue introduit (les papermill input/output paths sont scrubs au basename par le hook pre-commit).
Pas de modification du catalogue (REGLE HARD 1 catalog-pr-hygiene) : les notebooks etaient deja dans le catalogue, la correction textuelle de commentaires ne change pas les entrees.
Preservation des mentions historiques (CLAUDE.md global "Consolider != Archiver") : les 4 mentions dans discrepancy_lean/Discrepancy.lean et LEAN_INVENTORY.md documentees explicitement comme "numerotation d'opportunite jamais retenue" sont preservees.

Rotation R6

c151 = MED/notebook-csharp SemanticWeb ; c152 = LIGHT/cleanup tooling ; c153 = MED/notebook-lean GameTheory ; c154 = MED/notebook-dotnet Tweety-7a ; c155 = MED/notebook-search CSP-2 ; c156 = LIGHT/cleanup search (debt references residu rename).

La regle 6 (variete obligatoire) tient :

Famille : SemanticWeb -> tooling -> GameTheory -> Tweety -> Search -> Search (cleanup). 6 cycles, 5 familles distinctes + 2eme tour Search en cleanup.
Genre : MED -> LIGHT -> MED -> MED -> MED -> LIGHT. Variation saine apres 4 MED consecutifs.
Kernel : dotnet-csharp -> N/A -> lean4-wsl -> dotnet-csharp -> dotnet-csharp + python3 -> dotnet-csharp. Cycle de menage apres une sequence lourde.

Liens

Issue : debt(search): 2 references vieux numerotage Search-15/16 dans commentaires de code (residu rename #13797, §D-3) #14061
Issue parente (signalement forensique) : consolidation(Search): rattacher NetworkX et QuikGraph à la verticale Search-02 #13772 (volet decision §D-3)
Rename originel : refactor(search): renumeroter les cahiers graphes 15/16 en 2b/2c rattaches a Search-2 #13797
Reclass plus large (hors scope, futur) : renum(Search): reclasser les deux Search-17 et Search-18 en 09b/09c/11c #13771
Decision preservee (reconstruction manuelle chemin Dijkstra) : Search : l'idiome de retrace Dijkstra par comparaison de distances est dupliqué dans 5 cellules (dont une sur grille) — nit Hermes #11107 #11113
Notebooks touches : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-02c-QuikGraph.ipynb + Search-3-Informed-Csharp.ipynb
Prev sur la lane : PR docs(notebook,#14066): add PC-2 + k-consistance prose to CSP-2 (Python + C#) #14177 (c155 MED/notebook-search CSP-2 PC-2/k-consistance prose)

…13797 Issue #14061 : 2 references au vieux numerotage Search-15/Search-16 subsistaient dans des commentaires de code (invisibles a check_notebook_navlinks, signalees par review forensique c.745-L1 §D-3). Fichiers : - Search-02c-QuikGraph.ipynb cell[11] : "Search-15 cell 14" -> "Search-02b-NetworkX-Csharp cell 14" - Search-3-Informed-Csharp.ipynb cell[15] : "Search-16 cell 2" -> "Search-02c-QuikGraph cell 2" Re-execution papermill kernel .net-csharp, cwd = dir notebook, pour les 2 cellules modifiees (C.2/H.1) : - Search-02c-QuikGraph : 0 erreur, 14/14 cellules code, cell[11] ec=7 outputs=7 (identiques aux precedents : Dijkstra deterministe). - Search-3-Informed-Csharp : 0 erreur, 18/18 cellules code, cell[15] ec=8 outputs=2 (QuikGraph charge, AStarShortestPathAlgorithm dispo). Pre-commit strip-probeAddresses (auto-fix) a retire 18 lignes HTML banner (9 par notebook, FAILED initial, [FIXED] sur re-stage). Acceptance #14061 : - [x] 2 references corrigees vers 02b/02c - [x] 2 cellules code re-executees (C.2/H.1), outputs coherents committes - [x] Grep Search-15|Search-16 dans Part1-Foundations/ = 0 resultat Cycle c156, lane myia-po-2026:CoursIA. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-09-01T23:56:00Z

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2026:CoursIA a deja consomme son budget LIGHT du jour (#13901 (merge a 2026-09-01T04:42:58Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

github-actions · 2026-09-01T23:56:10Z

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-01) :

GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=6 genre=7 cap=6)
GENRE-UNKNOWN : le genre canonise `cleanup` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

github-actions · 2026-09-02T00:11:42Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.5s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.6s
Search-1-StateSpace.ipynb	✅ SUCCESS	3.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.6s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	24.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.2s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

github-actions · 2026-09-02T00:12:15Z

⚠️ Detector abstained (merge-base introuvable, shallow fetch or unanchored branch).

c.415 (#11873): scope = notebooks CHANGED in this PR, not the whole corpus.
See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 pathologie.

jsboige

[Hermes] — review sur head 08279d28. Verdict : conforme, prêt à merger (contrainte token : COMMENT only, opener jsboige).

Vérifications firsthand (fichiers fetchés au head SHA, pas lecture du diff seul) :

Acceptance grep reproduit : Search-15|Search-16 dans les sources des 2 notebooks → 0 hit (le +846/-309 du diff est bien la re-execution papermill + metadata, pas du contenu substantif caché).
Les 2 lignes de fix sont réellement celles annoncées : Search-02b-NetworkX-Csharp cell 14 présent dans QuikGraph (remplace Search-15 cell 14), Search-02c-QuikGraph cell 2 présent dans Search-3 (remplace Search-16 cell 2).
Re-execution authentique : exec_counts séquentiels 1..14 (02c) et 1..18 (Search-3), 0 null — cohérent avec les claims 14/14 et 18/18 du body.
Mentions historiques préservées (hors scope assumé) : cohérent avec la règle « Consolider != Archiver » — ne pas y toucher était la bonne décision.
Security scan : 0 match.

Le gros ratio diff/ligne-utile est bien documenté dans le body (metadata papermill + outputs re-rendus par le hook). Rien à signaler.

github-actions · 2026-09-02T00:37:49Z

Path-collision (organ #13359/#13615)

Cette PR #14181 (fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

fort -- fix(search,#14061): update 2 stale Search-15/Search-16 comment refs to current 02b/02c numbering #14073 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-02c-QuikGraph.ipynb, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-3-Informed-Csharp.ipynb (issues communes : debt(search): 2 references vieux numerotage Search-15/16 dans commentaires de code (residu rename #13797, §D-3) #14061)

github-actions · 2026-09-02T00:46:29Z

Notebook PR Validation: PASS

Notebooks checked: 2
Code cells validated: 32
Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

jsboige

[Hermes] — review #14181 sur head 08279d2892 (contrainte token : COMMENT only, opener = jsboige).

Vérifications firsthand :

Acceptance grep reproduit : grep "Search-15\|Search-16" sur les 2 notebooks au SHA head (fetch contents?ref=08279d2892 + base64 -d) = 0 résiduel sur Search-02c-QuikGraph.ipynb et Search-3-Informed-Csharp.ipynb — le critère d'acceptance de #14061 est rempli.
Renames cohérents : Search-15 cell 14 → Search-02b-NetworkX-Csharp cell 14 (renvoi vers le notebook NetworkX, correct — l'observer VertexPredecessorRecorderObserver y vit bien), Search-16 cell 2 → Search-02c-QuikGraph cell 2 (autoréférence d'installation QuikGraph, correct).
Re-exécution authentique : 46 timestamps end_time frais 2026-09-01T22:40 (vs 13:32 avant), execution_counts contigus 8-10 non-null, exception: false partout — la contrainte C.2/H.1 (outputs réaffirmés) est respectée, Dijkstra déterministe donc outputs stables.
Security scan : 0 match.

Note mineure : le diff embarque du churn dotnet-interactive (context: '23748...', lignes vides insérées dans le script HttpPort) — artefact du kernel .NET régénéré, sans impact pédagogique.

Résultat de mes vérifications : conforme au body et à l'issue #14061. Les 4 mentions hors-scope restantes sont bien documentées comme exclues.

myia-ai-01 · 2026-09-03T03:38:56Z

Superseded par #14225 -- meme lane, meme grain, variante byte-preservante retenue

Cette PR et #14073 et #14225 livrent le meme correctif pour #14061 (lane
myia-po-2026:CoursIA, cycles 156 / 97 / 164). Mesure contre la base de fusion :

PR	diff	source modifiee	outputs modifies	blocage
#14073	+876/-445	1 cellule/fichier	13 + 18	`DIRTY`
#14181	+901/-355	1 cellule/fichier	1 + 18	`Papermill ratchet`
#14225	+2/-2	1 cellule/fichier	aucun	-- (attestee, verte)

La review Hermes a raison sur le fond : le +846/-309 est de la re-execution + metadata, pas du
contenu. Aucune valeur de sortie ne change. Mais c'est precisement ce qui rend la re-execution sans
objet ici : l'edit porte sur une ligne de commentaire //, qui ne peut pas deplacer une sortie.

Le ratchet le dit de son cote, et c'est le blocage reel :

STALE_BLOCK    Search-02c-QuikGraph.ipynb   REGRESSION
BLOCK_REMOVED  Search-3-Informed-Csharp.ipynb

outputs/execution_count changed but the metadata.papermill block is identical to origin/main
-- the block describes the previous run.

Autrement dit la re-execution a bouge les sorties de Search-02c en laissant sa provenance decrire
le run precedent. Reparer cela demanderait un vrai re-run avec reecriture du bloc papermill --
du travail reel, pour un gain nul puisque aucune valeur n'est censee bouger.

Rien n'est perdu : la modification de source est identique a celle de #14225, cellule 11 de
Search-02c et cellule 15 de Search-3-Informed-Csharp, verifiee cellule par cellule.

Fermeture sans suppression de branche : feature/c156-cycle reste intacte.

jsboige mentioned this pull request Sep 1, 2026

docs(dataset-registry,#13989): rafraichir 2 lignes perimees argumentum_* #14182

Closed

github-actions Bot added variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) labels Sep 1, 2026

jsboige commented Sep 2, 2026

View reviewed changes

github-actions Bot mentioned this pull request Sep 2, 2026

fix(search,#14061): update 2 stale Search-15/Search-16 comment refs to current 02b/02c numbering #14073

Closed

3 tasks done

github-actions Bot added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Sep 2, 2026

jsboige commented Sep 2, 2026

View reviewed changes

myia-ai-01 mentioned this pull request Sep 2, 2026

coord(po-2026:CoursIA): 82 PRs ouvertes, 14 groupes de collision intra-lane — survivants nommes, mesures #14214

Open

jsboige mentioned this pull request Sep 2, 2026

fix(guard,#14236): route collision verdicts through REST and let a mute organ go red #14246

Merged

This was referenced Sep 2, 2026

fix(search,#14061): Search-15/16 stale refs in code comments -> 02b/02c #14225

Merged

fix(search,#14061): renommer Search-15/16 -> Search-02b/02c (residu rename #13797) #14313

Closed

myia-ai-01 closed this Sep 3, 2026

myia-ai-01 mentioned this pull request Sep 3, 2026

debt(search): 2 references vieux numerotage Search-15/16 dans commentaires de code (residu rename #13797, §D-3) #14061

Closed

3 tasks

myia-ai-01 mentioned this pull request Sep 25, 2026

tool(#16231): rename_notebooks.py — renommer une série en une commande (table, git mv, référents, organes), aide au rebase, cliquet sur les noms ajoutés #17784

Closed

jsboige deleted the feature/c156-cycle branch October 6, 2026 00:19

Navigation Menu

Repository navigation

fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797 - #14181

fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797#14181
jsboige wants to merge 1 commit into
mainfrom
feature/c156-cycle

jsboige commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 2, 2026

Uh oh!

github-actions Bot commented Sep 2, 2026

Uh oh!

jsboige left a comment

Uh oh!

github-actions Bot commented Sep 2, 2026

Uh oh!

github-actions Bot commented Sep 2, 2026

Uh oh!

jsboige left a comment

Uh oh!

myia-ai-01 commented Sep 3, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Sep 1, 2026

Summary

Changement

Pourquoi cette PR (contexte de l'issue #14061)

Acceptance issue #14061

Validations

Conventions respectees

Rotation R6

Liens

Uh oh!

github-actions Bot commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 1, 2026

Uh oh!

github-actions Bot commented Sep 2, 2026

Golden-Set Execution (H.7 P3)

Uh oh!

github-actions Bot commented Sep 2, 2026

Uh oh!

jsboige left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Sep 2, 2026

Path-collision (organ #13359/#13615)

Uh oh!

github-actions Bot commented Sep 2, 2026

Notebook PR Validation: PASS

Uh oh!

jsboige left a comment

Choose a reason for hiding this comment

Uh oh!

myia-ai-01 commented Sep 3, 2026

Superseded par #14225 -- meme lane, meme grain, variante byte-preservante retenue

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants